The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.comยท18hยท
Discuss: r/webdev
๐ŸŽชPlayground Compilation
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
Recurse Checkins
404wolf.comยท4h
๐Ÿ”„Bootstrapping
Property-based testing of batch-invariant operations
mmaaz.caยท7hยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.orgยท1h
๐Ÿ“ฑBytecode Design
Highly concurrent in-memory counter in GoLang
engineering.grab.comยท5h
๐Ÿง Memory Models
A grand week
blog.mitrichev.chยท16hยท
๐ŸงฉConstraint Solvers
Embracing the parallel coding agent lifestyle
simonwillison.netยท17hยท
๐ŸŽฎLanguage Ergonomics
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.orgยท5h
๐Ÿช†Embedded DSLs
Ask HN: Systems Development Path
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
From Working Code to Efficient Code: Big O in Practice with C#
dev.toยท2dยท
Discuss: DEV
โšกPerformance
Four years, Five failures, One compiler
daymare.netยท20hยท
๐ŸŒฑMinimal Languages
Building a Command-Line Quiz Application in R
towardsdatascience.comยท15h
๐Ÿ’ฌInteractive REPLs
Getting Better at Software Engineering
madhadron.comยท2dยท
๐ŸŽฎLanguage Ergonomics
std::ranges may not deliver the performance that you expect
lemire.meยท8hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท12hยท
Discuss: r/programming
๐Ÿง Memory Models
Tiger Style Coding Philosophy
tigerstyle.devยท4dยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comยท10hยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Datatypes
Souvenir
deprogrammaticaipsum.comยท2h
๐Ÿ”—Weak References
Delimited Continuations in Lone Lisp
matheusmoreira.comยท3dยท
๐Ÿ”ฎLisp Interpreters